João Silva's Documents

João Silva's Documents

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers

Formal methods: foundations and applications : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010 : revised selected papers
Read more
Química Inorgânica Básica

Química Inorgânica Básica
Read more
Dynamic Characterisation of Analogue-to-Digital Converters

Dynamic Characterisation of Analogue-to-Digital Converters
Read more
The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing

The Core Test Wrapper Handbook: Rationale and Application of IEEE Std. 1500 TM Frontiers in Electronic Testing
Read more
Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
Read more
The Chemistry of Evolution: The Development of our Ecosystem

The Chemistry of Evolution: The Development of our Ecosystem
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Complex analysis and geometry

Complex analysis and geometry
Read more
Sequential Methods and Their Applications

Sequential Methods and Their Applications
Read more
Introduction to Psychology: Gateways to Mind and Behavior , Eleventh Edition

Introduction to Psychology: Gateways to Mind and Behavior , Eleventh Edition
Read more
Naked Venom

Naked Venom
Read more
Twisted Passion

Twisted Passion
Read more
Stuff - Compulsive Hoarding and the Meaning of Things

Stuff - Compulsive Hoarding and the Meaning of Things
Read more
On The Intensities Of Stellar Absorption Lines

On The Intensities Of Stellar Absorption Lines
Read more
Children and Migration: At the Crossroads of Resiliency and Vulnerability

Children and Migration: At the Crossroads of Resiliency and Vulnerability
Read more
Barred Galaxies and Circumnuclear Activity

Barred Galaxies and Circumnuclear Activity
Read more
Carnal Ambition

Carnal Ambition
Read more
Courageous Training: Bold Actions for Business Results

Courageous Training: Bold Actions for Business Results
Read more
Cellular neural networks and visual computing

Cellular neural networks and visual computing
Read more
Profiling Political Leaders: Cross-Cultural Studies of Personality and Behavior

Profiling Political Leaders: Cross-Cultural Studies of Personality and Behavior
Read more
Adsorption and Aggregation of Surfactants in Solution

Adsorption and Aggregation of Surfactants in Solution
Read more
Changes in Exchange Rates in Rapidly Developing Countries: Theory, Practice, and Policy Issues (National Bureau of Economic Research-East Asia Seminar on Economics)

Changes in Exchange Rates in Rapidly Developing Countries: Theory, Practice, and Policy Issues (National Bureau of Economic Research-East Asia Seminar on Economics)
Read more
A Darker Geometry A Man-Kzin Novel

A Darker Geometry A Man-Kzin Novel
Read more
The Emergence of German Idealism (Studies in Philosophy and the History of Philosophy)

The Emergence of German Idealism (Studies in Philosophy and the History of Philosophy)
Read more
Data Mining Techniques for the Life Sciences

Data Mining Techniques for the Life Sciences
Read more
Local Semi-Dynamical Systems

Local Semi-Dynamical Systems
Read more
Lebanese Amber: The Oldest Insect Ecosystem in Fossilized Resin

Lebanese Amber: The Oldest Insect Ecosystem in Fossilized Resin
Read more
Zoonotic Pathogens in the Food Chain

Zoonotic Pathogens in the Food Chain
Read more
The encyclopedia of herbs: a comprehensive reference to herbs of flavor and fragrance

The encyclopedia of herbs: a comprehensive reference to herbs of flavor and fragrance
Read more
Graphics and GUIs with MATLAB, Third Edition

Graphics and GUIs with MATLAB, Third Edition
Read more